Waving at Soldiers

Hand-waving and Interpretive Dance

The curse of dimensionality associated with the Hilbert space of spin systems provides a significant obstruction to the study of condensed matter systems. Tensor networks have proven an important tool in attempting to overcome this difficulty in both the numerical and analytic regimes. These notes form the basis for a seven lecture course, introducing the basics of a range of common tensor netw...

Drowning or Waving

Hand Waving Away Scale

This paper presents a novel solution to the metric reconstruction of objects using any smart device equipped with a camera and an inertial measurement unit (IMU). We propose a batch, vision centric approach which only uses the IMU to estimate the metric scale of a scene reconstructed by any algorithm with Structure from Motion like (SfM) output. IMUs have a rich history of being combined with m...

Waving A Language-Independent WEB

In the fall of 1987 I started planning the implementation of a suite of tools for building veriied Ada programs Ramsey 89]. The rst tool to be built was a veriication condition generator, which was to be formally deened using the typed lambda calculus. I was eager to include the deenition with the code so that it would be easy to check the code's correctness. Using WEB would have made this easy...

Pulmonary embolism in soldiers serving at high altitude.

OBJECTIVE To determine the frequency of different risk factors for pulmonary embolism with particular reference to high altitude as one of the factors. STUDY DESIGN Cross sectional, analytical study. PLACE AND DURATION OF STUDY Department of Pulmonology, Military Hospital Rawalpindi, from December 2006 to December 2007. METHODOLOGY A total of 50 serving soldiers suspected of pulmonary emb...